The Versatile Synchronous Observer
نویسنده
چکیده
A synchronous observer is an adjunct to a system model that monitors its state variables and raises a signal flag when some condition is satisfied. Synchronous observers provide an alternative to temporal logic as a means to specify safety properties but have the advantage that they are expressed in the same notation as the system model— and thereby lower the mental hurdle to effective use of model checking and other techniques for automated analysis of system models. Model checkers that do use temporal logic can nonetheless employ synchronous observers by checking for properties such as “never(flag raised).” The use of synchronous observers to specify properties is well-known; rather less well-known is that they can be used to specify assumptions and axioms, to constrain models, and to specify test cases. The idea underlying these applications is that the basic model generates more behaviors than are desired, the synchronous observer recognizes those that are interesting, and the model checker is constrained to just the interesting cases. The efficiency in this approach is that it is usually much easier to write recognizers than generators. The paper describes and illustrates several applications of synchronous observers.
منابع مشابه
An Effective Attack-Resilient Kalman Filter-Based Approach for Dynamic State Estimation of Synchronous Machine
Kalman filtering has been widely considered for dynamic state estimation in smart grids. Despite its unique merits, the Kalman Filter (KF)-based dynamic state estimation can be undesirably influenced by cyber adversarial attacks that can potentially be launched against the communication links in the Cyber-Physical System (CPS). To enhance the security of KF-based state estimation, in this paper...
متن کاملStabilizing Nonlinear Control Using Damper Currents Sliding Mode Observer of Synchronous Generator
In this article, a new observer-based nonlinear controller for excitation control of synchronous generator is presented. First, a nonlinear sliding mode observer for the synchronous machine damper currents is developed. Second, the existence of a control law for the complete seventh order model of a generator, which takes into account the stator dynamics as well as the damper effects, is proved...
متن کاملEstimation of Synchronous Generator Parameters Using an Observer for Damper Currents and a Graphical User Interface
This paper presents a method to identify synchronous generator parameters from online data. An observer for estimation of synchronous machine damper currents is designed. The observer-estimator is used in a Graphical User Interface (GUI) application. Possible internal machine fault conditions can be detected and remedial action can be undertaken. It is desired that an algorithm be developed suc...
متن کاملAn Adaptive Nonlinear Controller for Speed Sensorless PMSM Taking the Iron Loss Resistance into Account (RESEARCH NOTE)
In this paper, an adaptive nonlinear controller is designed for rotor Surface Permanent Magnet Synchronous Motor (SPMSM) drive on the basis of Input-Output Feedback Control (IOFC), and Recursive Least Square (RLS) method. The RLS estimator detects the motor electromechanical parameters, including the motor iron loss resistance online. Moreover, a Sliding-Mode (SM) observer is developed for onli...
متن کاملDesign of a Non-linear Observer for VSI Fed Synchronous Motor
This paper discusses two observers, which are used for the estimation of parameters of PMSM. Former one, reduced order observer, which is used to estimate the inaccessible parameters of PMSM. Later one, full order observer, which is used to estimate all the parameters of PMSM even though some of the parameters are directly available for measurement, so as to meet with the insensitivity to the p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012